Choe, Kwang-Moo: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Grammar coverings of a deterministic parser with action conflicts

Eun-Jung Lee, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 621 KB

english, 1994

2

An LR parser with pre-determined reduction goals

Gyung-Ok Lee, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1999

Language:

english

File:

PDF, 132 KB

english, 1999

3

On the reduction of LR(k) parsers

Woo-Jun Park, Myung-Joon Lee, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 595 KB

english, 1993

4

Syntactic error repair using repair patterns

In-Sig Yun, Kwang-Moo Choe, Taisook Han

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 714 KB

english, 1993

5

A Powerful LL( k ) Covering Transformation

Lee, Gyung-Ok, Choe, Kwang-Moo

Journal:

SIAM Journal on Computing

Year:

2005

Language:

english

File:

PDF, 293 KB

english, 2005

6

Detection of harmful schizophrenic statements in esterel

Yun, Jeong-Han, Kim, Chul-Joo, Kim, Seonggun, Choe, Kwang-Moo, Han, Taisook

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 621 KB

english, 2013

7

[ACM Press the 2001 ACM symposium - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 2001 ACM symposium on Applied computing - SAC '01 - Interprocedural exception analysis for Java

Chang, Byeong-Mo, Jo, Jang-Wu, Yi, Kwangkeun, Choe, Kwang-Moo

Year:

2001

File:

PDF, 181 KB

2001

8

Composition-based Cache simulation for structure reorganization

Keoncheol Shin, Hwansoo Han, Kwang-Moo Choe

Journal:

Journal of Systems Architecture

Year:

2010

Language:

english

File:

PDF, 694 KB

english, 2010

9

Path for AND-parallel execution of logic programs

Su-Hyun Lee, Do-Hyung Kim, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 768 KB

english, 1994

10

[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Refining schizophrenia via graph reachability in Esterel

Jeong-Han Yun,, Chul-Joo Kim,, Sunae Seo,, Taisook Han,, Kwang-Moo Choe,

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

11

Efficient bottom-up execution of logic programs using abstract interpretation

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 441 KB

english, 1993

12

Cycle elimination for invocation graph-based context-sensitive pointer analysis

Woongsik Choi, Kwang-Moo Choe

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 1.14 MB

english, 2011

13

REFINED MARK(S)-SET-BASED BACKTRACK LITERAL SELECTION FOR AND PARALLELISM IN LOGIC PROGRAMS

KIM, DO-HYUNG, CHOE, KWANG-MOO, HAN, TAISOOK

Journal:

Parallel Processing Letters

Year:

1992

Language:

english

File:

PDF, 442 KB

english, 1992

14

SLR(k) covering for LR(k) grammars

Myung-Joon Lee, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 1.15 MB

english, 1991

15

Static filtering on stratified programs

Byeong-Mo Chang, Kwang-Moo Choe, Taisook Han

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 688 KB

english, 1993

16

Boundelly LR(k)-conflictable grammars

Myung-Joon Lee, Kwang-Moo Choe

Journal:

Acta Informatica

Year:

1994

Language:

english

File:

PDF, 1.18 MB

english, 1994

17

An efficient computation of right context for LR-based error repair

Min-Soo Jung, Kwang-Moo Choe, Taisook Han

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 796 KB

english, 1994

18

Filtering false alarms of buffer overflow analysis using SMT solvers

Youil Kim, Jooyong Lee, Hwansoo Han, Kwang-Moo Choe

Journal:

Information and Software Technology

Year:

2010

Language:

english

File:

PDF, 443 KB

english, 2010

19

Efficient computation of the locally least-cost insertion string for the LR error repair

Kwang-Moo Choe, Chun-Hyon Chang

Journal:

Information Processing Letters

Year:

1986

Language:

english

File:

PDF, 431 KB

english, 1986

20

Yet another efficient backward execution algorithm in the AND/OR process model

Do-Hyung Kim, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1991

Language:

english

File:

PDF, 1.33 MB

english, 1991

21

Yet another efficient backward execution algorithm in the AND/OR process model: Information processing letters 40 (4) (25 November 1991) 201-211

Do-Hyung Kim, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 62 KB

english, 1992

22

SLR(k) covering for LR(k) grammars: Information processing letters vol. 37, no. 6 (28 March 1991) pp. 337–347

Myung-Joon Lee, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1991

File:

PDF, 51 KB

1991

23

An uncaught exception analysis for Java

Jang-Wu Jo, Byeong-Mo Chang, Kwangkeun Yi, Kwang-Moo Choe

Journal:

Journal of Systems and Software

Year:

2004

Language:

english

File:

PDF, 384 KB

english, 2004

24

An improved LALR(k) parser generation for regular right part grammars

Heung-Chul Shin, Kwang-Moo Choe

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 365 KB

english, 1993

25

[ACM Press the 1994 ACM symposium - Phoenix, Arizona, United States (1994.03.06-1994.03.08)] Proceedings of the 1994 ACM symposium on Applied computing - SAC '94 - Abstract filters

Chang, Byeong-Mo, Choe, Kwang-Moo, Giacobazzi, Roberto

Year:

1994

Language:

english

File:

PDF, 731 KB

english, 1994

26

Region-based parallelization of irregular reductions on

Seonggun Kim, Hwansoo Han, Kwang-Moo Choe

Journal:

The Journal of Supercomputing

Year:

2011

Language:

english

File:

PDF, 1.10 MB

english, 2011

27

Over-Approximated Control Flow Graph Construction on Pure Esterel

KIM, Chul-Joo, YUN, Jeong-Han, KIM, Seonggun, CHOE, Kwang-Moo, HAN, Taisook

Journal:

IEICE Transactions on Information and Systems

Year:

2010

Language:

english

File:

PDF, 980 KB

english, 2010

28

A description of dynamic behavior for compilers based on object oriented modeling

DongGill Lee, Kwang-Moo Choe, Taisook Han

Journal:

Information Processing Letters

Year:

1993

Language:

english

File:

PDF, 715 KB

english, 1993

29

Static extensivity analysis for λ-definable functions over lattices

Hyunjun EO, Kwangkeun YI, Kwang-Moo Choe

Journal:

New Generation Computing

Year:

2006

Language:

english

File:

PDF, 1.19 MB

english, 2006

30

Error repair with validation in LR-based parsing

Kim, Ik-Soon, Choe, Kwang-Moo

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 276 KB

english, 2001

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски